Control Flow Confinement: An Empirical Prospect
نویسندگان
چکیده
Dictating program control-flow transfers to be within a reference control-flow graph (CFG) can make a sound software protection. Control flow confinement (CFC) is to ensure the program execution to follow the reference of a control flow graph (CFG) obtained via profiled execution traces with various input data sets. CFC allows only the tested and expected control flows in program execution. This paper gauges the prospect of the CFC in practice by investigating how many unique control flow transfer instances there are in the execution profiles of various applications including popular sever programs and embedded routines. The profiled execution traces with various input data sets show that the number of unique control flow transfer instances are surprisingly low, which suggest that confining the program control flow within the set of the unique control flow transfers is feasible in practice. With the CFC, software behavior would be within the expected behavior space, avoiding unexpected mis-behavior, which leads to more dependable and secure environment for IoT (Internet of Things) and CPS (Cyber Physical System). Key-Words: Cyber Physical Systems, Dependability, Internet of Things, Software Security
منابع مشابه
Suppressed ion-scale turbulence in a hot high-β plasma
An economic magnetic fusion reactor favours a high ratio of plasma kinetic pressure to magnetic pressure in a well-confined, hot plasma with low thermal losses across the confining magnetic field. Field-reversed configuration (FRC) plasmas are potentially attractive as a reactor concept, achieving high plasma pressure in a simple axisymmetric geometry. Here, we show that FRC plasmas have unique...
متن کاملStudy of convergence confinement method curves considering pore-pressure effect
The design of underground spaces is mainly carried out using empirical, analytical, and numerical methods. The convergence confinement method (CCM) is an analytical technique that is widely utilized in analyzing the stability of underground spaces. However, the main challenge in the stability analysis is the selection of an accurate constitutive model for rock mass, and particularly, its post-f...
متن کاملFluid flow and sperm guidance: a simulation study of hydrodynamic sperm rheotaxis.
How does a sperm find its way? The study of guidance cues has fascinated sperm biologists and in particular the prospect of rheotaxis, that is a fluid flow orienting the direction of sperm swimming, has been the subject of extensive recent study, as readily motivated by the prospect that such guidance may be active in the mammalian female reproductive tract. For instance, it has been hypothesiz...
متن کاملA microfluidic-based hydrodynamic trap: design and implementation.
We report an integrated microfluidic device for fine-scale manipulation and confinement of micro- and nanoscale particles in free-solution. Using this device, single particles are trapped in a stagnation point flow at the junction of two intersecting microchannels. The hydrodynamic trap is based on active flow control at a fluid stagnation point using an integrated on-chip valve in a monolithic...
متن کاملResidence Time Control in Micromixers with Vortex Shedding
Residence time control is an important indicator of micromixer design. When using vortex shedding to enhance mixing efficiency in a micromixer, the relationship between residence time and vortex shedding becomes important; if residence time is shorter than shedding time, the fluid elements flow through the channel too quickly with no contribution of vortex shedding to mixing. Both residence tim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017